-
1 рекурсивная эквивалентность
Русско-английский словарь по электронике > рекурсивная эквивалентность
-
2 рекурсивная эквивалентность
Русско-английский словарь по радиоэлектронике > рекурсивная эквивалентность
-
3 рекурсивная эквивалентность
Русско-английский научно-технический словарь Масловского > рекурсивная эквивалентность
-
4 тип рекурсивной эквивалентности
Русско-английский научно-технический словарь Масловского > тип рекурсивной эквивалентности
-
5 рекурсивная эквивалентность
Mathematics: recursive equivalenceУниверсальный русско-английский словарь > рекурсивная эквивалентность
-
6 тип рекурсивной эквивалентности
Mathematics: recursive equivalence typeУниверсальный русско-английский словарь > тип рекурсивной эквивалентности
См. также в других словарях:
Equivalence faible — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Equivalence forte — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Fonction Récursive Primitive — Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont été initialement analysées… … Wikipédia en Français
Fonction recursive primitive — Fonction récursive primitive Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont… … Wikipédia en Français
Fonction récursive primitive — Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont été initialement analysées… … Wikipédia en Français
Fonction Récursive — Voir « récursif » sur le Wiktionnaire … Wikipédia en Français
Fonction recursive — Fonction récursive Voir « récursif » sur le Wiktionnaire … Wikipédia en Français
Fonction récursive — Sur les autres projets Wikimedia : « Fonction récursive », sur le Wiktionnaire (dictionnaire universel) En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de… … Wikipédia en Français
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia